A Note on Decidability of Cellularity

Decidability and Tameness in the Theory of Finite Semigroups

Influence of the myotome zone and sex on the muscle cellularity and fillet ‎texture of diploid and triploid turbots Scophthalmus maximus L.‎

The muscle and textural parameters were analyzed in four myotome zones (epaxial upper, hipoaxial upper, epaxial bottom, and hipoaxial bottom) in seven diploids (D) and seven triploids (T) turbot specimens. Diploid specimens showed the highest values of the size and number of white fibers in the epaxial zones, being such values higher in female than male specimens. In triploid specimens, the hig...

Decidability of the Clark's completion semantics for monadic programs and queries

There are many different semantics for general logic programs (i.e. programs that use negation in the bodies of clauses). Most of these semantics are Turing complete (in a sense that can be made precise), implying that they are undecidable. To obtain decidability one needs to put additional restrictions on programs and queries. In logic programming it is natural to put restrictions on the under...

Decidability of All Minimal Models (Revised Version - 2012)

This unpublished note is an alternate, shorter (and hopefully more readable) proof of the decidability of all minimal models. The decidability follows a proof of the existence of a cellular term in each observational equivalence class of a minimal model. The first proof I gave of the decidability of all minimal models [3] was far from being easy to understand. I was only an inexperienced studen...

A technique for estimating the bone marrow cellularity in vivo using 59Fe.

This is a preliminary note on an attempt to develop a technique for estimating the bone marrow cellularity in man. At present there is no means of making such an estimate, and discussions of the probably mitotic interval and bone marrow life span of the different stages of erythrocyte precursors are based on calculations of the known average red cell life, the total numbers of red cells and ret...